RecentChangesLinked/How a reductio ad absurdum works